The Equivalence Problem for DF0L Languages and Power Series
نویسندگان
چکیده
منابع مشابه
The Equivalence Problem for DF0L Languages and Power Series
The theory of free monoids lies at the crossroads of mathematics and theoretical computer science. Many problems studied in free monoid theory have their origins in theoretical computer science. On the other hand, their solutions often require deep methods from classical mathematics. D0L systems constitute a very natural framework for studying free monoid morphisms and their iterations. Infinit...
متن کاملthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولOn the Equivalence Problem for E-Pattern Languages
On the one hand, the inclusion problem for nonerasing and erasing pattern languages is undecidable (see JSSY93]). On the other hand, the language equivalence problem for nonerasing pattern languages is trivially decidable (see Ang80a]) but the question of whether the same holds for erasing pattern languages is still open. It has been conjectured by Jiang et al. JSSY93] that the language equival...
متن کاملOn the Equivalence Problem of Context-free and DT0L Languages
It is undecidable whether or not a given context-free language and a propagating DT0L language are equal. We show that equivalence is decidable between context-free and everywhere growing DT0L languages.
متن کاملthe search for the self in becketts theatre: waiting for godot and endgame
this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2002
ISSN: 0022-0000
DOI: 10.1006/jcss.2002.1850